Nets with critical deficiency

Deficiency Zero Petri Nets and Product Form

Consider a Markovian Petri net with race policy. The marking process has a “product form” stationary distribution if the probability of viewing a given marking can be decomposed as the product over places of terms depending only on the local marking. First we observe that the Deficiency Zero Theorem of Feinberg, developed for chemical reaction networks, provides a structural and simple sufficie...

Modeling Safety-Critical Systems with Z and Petri Nets

We show how to combine the specification notation Z with Petri nets for modeling safety-critical systems. The combination preserves the strengths of the two formalisms, while ameliorating their drawbacks. We illustrate our approach by modeling a part of a production cell and validating that model with respect to safety-related properties.

Critical Nets and Beta-Stable Features for Image Matching

We propose new ideas and efficient algorithms towards bridging the gap between bag-of-features and constellation descriptors for image matching. Specifically, we show how to compute connections between local image features in the form of a critical net whose construction is repeatable across changes of viewing conditions or scene configuration. Arcs of the net provide a more reliable frame of r...

Pertinent Scenarios in Temporal Petri Nets for Critical System Analysis

This paper deals with dynamic reliability of embedded systems. It is addressed by generating critical scenarios. This paper proposes a definition of the concepts of minimality and completeness, related to the notion of scenario. These two concepts guarantee the pertinence of scenarios. In Petri net model, a scenario is defined as a partial order between events leading from one partial state to ...

A Pregnant Woman with Factor V Deficiency